provably difficult

The set or property of problems for which it can be proven

that no {polynomial-time} {algorithm} exists, only

{exponential-time} {algorithm}s.